Tuple Relational Calculus